|
|
An UML Profile for Modelling of Component-Based Systems
Pagáč, Jiří ; Bartík, Vladimír (referee) ; Rychlý, Marek (advisor)
The thesis deals with the modeling of the Component Based Software (CBS) systems in the UML language and with extension of the UML language with using of meta-modeling techniques and with using of the UML Prodile technology. Thesis also deals with Component Based Development (CBD). The main part of this study deals with specifying of methodology for creating of UML Prodiles and with demonstration of this methodology on selected Component System meta-model by creating the profile including the OCL constraints and description of problems with creating of the prodile. Thesis also describes support of the UML Profile technology in existing UML CASE tools. For demonstration purposes thesis contains the case study with example which uses in this work created UML Profile. Profile is created in accordance with specification of UML version 2.3 and OCL in version 2.2. Demonstration is performed and profile itself is created using IBM Rational Software Architect version 8.0.2.
|
|
|
SOFAnet 2
Papež, Michal ; Bureš, Tomáš (advisor) ; Malohlava, Michal (referee)
SOFAnet 2 MASTER THESIS Michal Papež Department of Distributed and Dependable Systems, 2011 Abstract: The aim of SOFAnet 2, as a network environment of the SOFA 2 com- ponent system, is to exchange components between SOFAnodes in a simple and rational way. Current concerns of the SOFA 2 users about software distribution are analyzed and discussed. New high level concepts of Applications and Components are defined together with their mapping to SOFA 2 first class concepts, means of distribution and removal. Furthermore a methodology to keep SOFA 2 repository clean is introduced. All new elements as concepts and operations are studied using a formal set model. The proposed concept of SOFAnet 2 is proved by a prototype implementation. 1
|
|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (advisor) ; Poch, Tomáš (referee)
Threaded Behavioral Protocols (TBP) is a specification language for modelling the behavior of software components. This thesis aims at an analysis of TBP specifications within environments which involve an unbounded replication of threads. Such a TBP specification - together with a model of the possible environments - induces infinite state space which contains a vast amount of symmetries caused by thread replication. A model checking technique addressing such a state space and reducing the symmetries by using symbolic counter abstraction is proposed. In order to utilize the symbolic counter abstraction, the properties of the TBP specifications (called provisions) are converted into thread state reachability properties. The proposed analysis is safe in the sense that it discovers all errors in the model. On the other hand, it may yield spurious errors, i.e., errors that do not correspond to any real error in the model. The spurious errors are well identified and further possibilities to reduce them are outlined. Beyond the scope of the specific specifications, this work may also present a small step towards supporting dynamic thread creation in TBP.
|
|
|
The Progress run-time architecture
Pop, Tomáš
This thesis is a part of a bigger research vision called Progress which aims at providing component based techniques for the development of real-time embedded systems. Progress introduces the concept of a virtual node in order to increase the effectiveness of constructed systems and improve hardware abstraction. The thesis starts research of the runtime structures of the Progress component model. The thesis aims at identifying necessary questions about the runtime internal structure of virtual nodes and about the supporting mechanisms needed to run virtual nodes on destination hardware. A part of this thesis is also a sample implementation of the virtual node runtime environment covering local and Ethernet communication, event driven and timer driven tasks, and multiple computational nodes.
|
|
|
DEECo Component Model Framework on Android Mobile Platform
Sipták, Daniel ; Bureš, Tomáš (advisor) ; Gemrot, Jakub (referee)
Presented master thesis is dedicated to creation of DEECo component model supported on Android platform. Enabling distributed system of inter-connected devices to run DEECo framework. For this purpose jDEECo implementation of DEECo component model is ported to Android platform and synchronization solution creating common state is done on top of JGroups toolkit. Possible solutions are presented and implementation of created solution is described. At last demo application showing usage of created framework was developed and evaluated.
|
|
|
Deployment of SOFA 2 applications for the LeJOS platform
Baquero Forero, Juan Rodrigo ; Hnětynka, Petr (advisor) ; Bureš, Tomáš (referee)
Embedded systems are ubiquitous in our society, they control vehicles, aircrafts and medical instruments. Some of these systems are distributed, which means they are part of a network and their operation is coordinated. Software development for such systems can be a difficult problem. In this thesis we propose SOFA 2 component system to simplify the software development for distributed embedded systems where the distribution of components is handled entirely by the component system. Lego Mindstorms is proposed as the model of a distributed embedded system. A runtime environment for SOFA 2 and a demo application were developed to evaluate the approach. The proposed approach delivers seamless component distribution. Nevertheless, non-functional requirements such as memory, program size or disk space must be included in the implementation to fully benefit from a component system.
|
|
|
Components and Services in Resource-Constrained Environments
Pop, Tomáš ; Plášil, František (advisor) ; Ježek, Kamil (referee) ; Carlson, Jan (referee)
of Doctoral Thesis Title: Components and Services in Resource-Constrained Envi- ronments Author: Tomáš Pop tomas.pop@d3s.mff.cuni.cz Department: Department of Distributed and Dependable Systems Faculty of Mathematics and Physics Charles University in Prague Advisor: Prof. František Plášil plasil@d3s.mff.cuni.cz Abstract Appliances of every day use such as consumer electronics, automotive and telecommunication devices as well as various kinds of control systems have be- come a common and important part of our everyday lives. In comparison to general-purpose desktop systems, they are limited in terms of various resources, for example memory, CPU power, and battery capacity. Component-based soft- ware engineering is a well-established development technique, which has found its way to industry and has been successfully used for a long time in multiple do- mains. However, the industrially adopted component frameworks were designed for general-purpose systems and they can be hardly used in resource-constrained environments. In the thesis, we explore the potential of component-based system engineer- ing in resource-constrained environments. Stemming from a survey of existing component frameworks targeted to this domain, we identify the most important approaches to overcome resource constraints in...
|
|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (advisor) ; Poch, Tomáš (referee)
Threaded Behavioral Protocols (TBP) is a specification language for modelling the behavior of software components. This thesis aims at an analysis of TBP specifications within environments which involve an unbounded replication of threads. Such a TBP specification - together with a model of the possible environments - induces infinite state space which contains a vast amount of symmetries caused by thread replication. A model checking technique addressing such a state space and reducing the symmetries by using symbolic counter abstraction is proposed. In order to utilize the symbolic counter abstraction, the properties of the TBP specifications (called provisions) are converted into thread state reachability properties. The proposed analysis is safe in the sense that it discovers all errors in the model. On the other hand, it may yield spurious errors, i.e., errors that do not correspond to any real error in the model. The spurious errors are well identified and further possibilities to reduce them are outlined. Beyond the scope of the specific specifications, this work may also present a small step towards supporting dynamic thread creation in TBP.
|
|
|
SOFAnet 2
Papež, Michal ; Bureš, Tomáš (advisor) ; Malohlava, Michal (referee)
SOFAnet 2 MASTER THESIS Michal Papež Department of Distributed and Dependable Systems, 2011 Abstract: The aim of SOFAnet 2, as a network environment of the SOFA 2 com- ponent system, is to exchange components between SOFAnodes in a simple and rational way. Current concerns of the SOFA 2 users about software distribution are analyzed and discussed. New high level concepts of Applications and Components are defined together with their mapping to SOFA 2 first class concepts, means of distribution and removal. Furthermore a methodology to keep SOFA 2 repository clean is introduced. All new elements as concepts and operations are studied using a formal set model. The proposed concept of SOFAnet 2 is proved by a prototype implementation. 1
|
|
|
The Progress run-time architecture
Pop, Tomáš
This thesis is a part of a bigger research vision called Progress which aims at providing component based techniques for the development of real-time embedded systems. Progress introduces the concept of a virtual node in order to increase the effectiveness of constructed systems and improve hardware abstraction. The thesis starts research of the runtime structures of the Progress component model. The thesis aims at identifying necessary questions about the runtime internal structure of virtual nodes and about the supporting mechanisms needed to run virtual nodes on destination hardware. A part of this thesis is also a sample implementation of the virtual node runtime environment covering local and Ethernet communication, event driven and timer driven tasks, and multiple computational nodes.
|
guest ::
